Crole, Roy: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity

Alberto Momigliano, Simon J. Ambler, Roy L. Crole

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 195 KB

english, 2002

2

[Lecture Notes in Computer Science] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Volume 2297 || Galois Connections and Fixed Point Calculus

Backhouse, Roland, Crole, Roy, Gibbons, Jeremy

Year:

2002

Language:

english

File:

PDF, 630 KB

english, 2002

3

A Social Sensing Model for Event Detection and User Influence Discovering in Social Media Data Streams

Shi, Lei-Lei, Liu, Lu, Wu, Yan, Jiang, Liang, Panneerselvam, John, Crole, Roy

Journal:

IEEE Transactions on Computational Social Systems

Year:

2019

Language:

english

File:

PDF, 2.20 MB

english, 2019

4

Computational adequacy of the FIX-logic

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 1.29 MB

english, 1994

5

Algebras and Coalgebras || Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Backhouse, Roland, Crole, Roy, Gibbons, Jeremy

Year:

2002

Language:

english

File:

PDF, 166 KB

english, 2002

6

On fixpoint objects and gluing constructions

Journal:

Applied Categorical Structures

Year:

1996

Language:

english

File:

PDF, 1.29 MB

english, 1996

7

New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic

Roy L. Crole, Andrew M. Pitts

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 1.74 MB

english, 1992

8

Preface: Volume 58, Issue 1

Simon J. Ambler, Roy L. Crole, Alberto Momigliano

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 42 KB

english, 2001

9

Alpha equivalence equalities

Journal:

Theoretical Computer Science

Year:

2012

Language:

english

File:

PDF, 303 KB

english, 2012

10

|| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Backhouse, Roland, Crole, Roy, Gibbons, Jeremy

Year:

2002

Language:

english

File:

PDF, 782 KB

english, 2002

11

Categories for Types || Advice for the Reader

Year:

1994

Language:

english

File:

PDF, 195 KB

english, 1994

12

A Social Sensing Model for Event Detection and User Influence Discovering in Social Media Data Streams

Shi, Lei-Lei, Liu, Lu, Wu, Yan, Jiang, Liang, Panneerselvam, John, Crole, Roy

Journal:

IEEE Transactions on Computational Social Systems

Year:

2019

File:

PDF, 2.20 MB

2019

13

Canonical HybridLF: Extending Hybrid with Dependent Types

Crole, Roy L., Furniss, Amy

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 232 KB

english, 2016

14

[Lecture Notes in Computer Science] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Volume 2297 || Ordered Sets and Complete Lattices

Backhouse, Roland, Crole, Roy, Gibbons, Jeremy

Year:

2002

Language:

english

File:

PDF, 690 KB

english, 2002

15

Categories for Types ||

Year:

1994

Language:

english

File:

PDF, 210 KB

english, 1994

16

Equational Logic and Categorical Semantics for Multi-Languages

Buro, Samuele, Crole, Roy, Mastroeni, Isabella

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2020

File:

PDF, 687 KB

2020

17

Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories

Crole, Roy L., Nebel, Frank

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 386 KB

english, 2013

18

Categories for Types || Preface

Year:

1994

Language:

english

File:

PDF, 243 KB

english, 1994

19

Categories for Types || Order, Lattices and Domains

Year:

1994

Language:

english

File:

PDF, 1.55 MB

english, 1994

20

Relating operational and denotational semantics for input/output effects

CROLE, ROY L., GORDON, ANDREW D.

Journal:

Mathematical Structures in Computer Science

Year:

1999

Language:

english

File:

PDF, 317 KB

english, 1999

21

Categories for Types || Algebraic Type Theory

Year:

1994

Language:

english

File:

PDF, 1.42 MB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски